🛠 Language Design

Type Systems, Compiler Theory, Syntax Evolution, Memory Models, Syntax Creation, Parser Design, Domain Languages, Programming Paradigms

Three Meanings of Effects
burakemir.ch·16h·
Discuss: Hacker News
✨Effect Handlers
Generic functional parallel algorithms: scan and FFT (2017)
dl.acm.org·1d·
Discuss: Hacker News
🔗Functional Compilers
Automating Modelica Module Generation Using Large Language Models: A Case Study on Building Control Description Language
arxiv.org·1d
🧩WASM Components
Obscure feature + obscure feature + obscure feature = bug
antithesis.com·20h·
Discuss: Lobsters, r/programming
🧪Binary Fuzzing
Latent trees
languagelog.ldc.upenn.edu·20h
🤖Grammar Induction
Python Syntax: The Ultimate Beginner's Guide with Examples & Best Practices
dev.to·23h·
Discuss: DEV
📝Concrete Syntax
Issue 490
haskellweekly.news·1d
🔗Functional Compilers
Compiling with Continuations
swatson555.github.io·3d·
Discuss: Hacker News
💻Programming languages
ECMAScript 2025 Language Specification
262.ecma-international.org·21h·
Discuss: Hacker News
🎯Gradual Typing
Cactus Language • Mechanics 1
inquiryintoinquiry.com·1d
📝Concrete Syntax
A Conversation with Arthur Whitney
queue.acm.org·19h·
Discuss: Hacker News
📊APL Heritage
Microsoft Goes All-in on Rust for Core Infrastructure and Much More
thenewstack.io·8h
🦀Rust Borrowing
The Ternary Manifesto
homepage.cs.uiowa.edu·2d
📝Concrete Syntax
Some Notes I Took on Software Architecture
lautarolobo.xyz·17h·
Discuss: Hacker News
💾Persistence Strategies
The Landscape of Arabic Large Language Models
cacm.acm.org·18h
🤖Grammar Induction
haskell/mtl
github.com·2d
🔗Functional Compilers
Isabelle rule musings
blueberrywren.dev·1d
🎯Proof Tactics
Designing NotebookLM
jasonspielman.com·15h·
Discuss: Hacker News
📋Document Layout
Building sub-100ms autocompletion for JetBrains IDEs
blog.sweep.dev·16h·
Discuss: Hacker News
🔨Compilers
Brzozowski Derivatives: An Exercise in Combinatory Style
blog.zdsmith.com·4d·
Discuss: Lobsters, Hacker News
🔗Concatenative Programming